Uncertain deduction and conditional reasoning

Uncertain deduction and conditional reasoning

There has been a paradigm shift in the psychology of deductive reasoning. Many researchers no longer think it is appropriate to ask people to assume premises and decide what necessarily follows, with the results evaluated by binary extensional logic. Most every day and scientific inference is made from more or less confidently held beliefs and not assumptions, and the relevant normative standar...

Reasoning with preferences over temporal, uncertain, and conditional statements

In this thesis we consider reasoning with preferences in a number of different AI problems. We start with a specific area as, temporal reasoning, for which there is specialized reasoning machinery. In particular, we consider quantitative temporal constraints and we add preferences in such a context. We discuss the complexity for solving temporal constraint satisfaction problems with preferences...

Deduction with uncertain conditionals

Conditional Deduction Under Uncertainty

Conditional deduction in binary logic basically consists of deriving new statements from an existing set of statements and conditional rules. Modus Ponens, which is the classical example of a conditional deduction rule, expresses a conditional relationship between an antecedent and a consequent. A generalisation of Modus Ponens to probabilities in the form of probabilistic conditional inference...

Human Reasoning and Automated Deduction

The Wason selection task is probably the most famous and best investigated research paradigm in the psychology of reasoning. In the classical abstract version people are presented with cards and have to check a conditional statement. Numerous psychological studies have shown that most people do not solve this task in terms of classical logic correctly and tend to make similar reasoning errors. ...